member(H,[H|←]). member(I,[←|T]) :- member(I,T). member1(H,[H|←]) :- !. member1(I,[←|T]) :- member1(I,T).